#!/bin/bash -e
# ${log:=.log}


test -n "$mnt_pid" && kill $mnt_pid

wait

echo
echo $$ `id -u;date;pwd;hostname`
echo END `basename $0` $@
echo

echo `id -u` `date +%m%d%H%M` `pwd` `hostname` $$ $cmd_name done >> ${pid_log:=.pid.log}
exit 0
